Model-Based Testing Using Scenarios and Event-B Refinements
نویسندگان
چکیده
In this paper, we present a model-based testing approach based on user provided testing scenarios. In this approach, when software model is refined to add/modify features, the test cases are automatically refined to incorporate these changes. We use the Event-B formalism for software models, while user scenarios are represented as Communicating Sequential Process (CSP) expressions.
منابع مشابه
Automatic Calibration of HEC-HMS Model Using Multi-Objective Fuzzy Optimal Models
Estimation of parameters of a hydrologic model is undertaken using a procedure called “calibration” in order to obtain predictions as close as possible to observed values. This study aimed to use the particle swarm optimization (PSO) algorithm for automatic calibration of the HEC-HMS hydrologic model, which includes a library of different event-based models for simulating the rainfall-runoff pr...
متن کاملAn analytical model based on simulation aiming to improve patient flow in a hospital surgical suite
Surgical suits allocate a large amount of expenses to hospitals; on the other hand, they constitute a huge part of hospital revenues. Patient flow optimization in a surgical suite by omitting or reducing bottlenecks which cause loss of time is one of the key solutions in minimizing the patients’ length of stay[1] (LOS) in the system, lowering the expenses, increasing efficiency, and also enhanc...
متن کاملA model-based trace testing approach for validation of formal co-simulation models
This paper presents a model-based trace testing (MBTT) approach to strengthen verification and validation techniques for formal co-simulation based wireless sensor network development (FoCoSim-WSN). This framework enables the functionality and protocol algorithms to be encoded in the controller model in the formal Event-B language. Use of proof tools can guarantee safety properties of this form...
متن کاملTESTING FOR “RANDOMNESS” IN SPATIAL POINT PATTERNS, USING TEST STATISTICS BASED ON ONE-DIMENSIONAL INTER-EVENT DISTANCES
To test for “randomness” in spatial point patterns, we propose two test statistics that are obtained by “reducing” two-dimensional point patterns to the one-dimensional one. Also the exact and asymptotic distribution of these statistics are drawn.
متن کاملA Novel Approach for Deriving Test Scenarios and Test Cases from Events
Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009